Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling texts' third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and 150+ new exercises.

Proofs play a central role in advanced mathematics and theoretical computer science, and this bestselling texts' third edition will help students transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs, with a new chapter on number theory and 150+ new exercises.

New York Times bestselling author, psychologist, and leadership expert Henry Cloud equips us to understand and manage trust for successful relationships through five foundational aspects. Trust is the fuel for all of life. We are wired biologically, neurologically, emotionally, spiritually, and psychologically to trust. Trust is the currency that drives every relationship, begi...(展开全部)

Mankind now has within its grasp the power to synthesize true artificial life, playing out Dr Frankenstein's dream in both cyberspace and the real world. In this book, Steve Grand, a leading exponent of artificial life, provides the first authoritative and comprehensive tour of the frontiers of this burgeoning new creation. He surveys what has been achieved so far and looks at ...(展开全部)

This book is the only source that provides comprehensive, current, and correct information on problem solving using modern heuristics. It covers classic methods of optimization, including dynamic programming, the simplex method, and gradient techniques, as well as recent innovations such as simulated annealing, tabu search, and evolutionary computation. Integrated into the disc...(展开全部)

This book is the only source that provides comprehensive, current, and correct information on problem solving using modern heuristics. It covers classic methods of optimization, including dynamic programming, the simplex method, and gradient techniques, as well as recent innovations such as simulated annealing, tabu search, and evolutionary computation. Integrated into the disc...(展开全部)

This book is the only source that provides comprehensive, current, and detailed information on problem solving using modern heuristics. It covers classic methods of optimization, including dynamic programming, the simplex method, and gradient techniques, as well as recent innovations such as simulated annealing, tabu search, and evolutionary computation. Integrated into the dis...(展开全部)

This extraordinary book explains the engine that has catapulted the Internet from backwater to ubiquityand reveals that it is sputtering precisely because of its runaway success. With the unwitting help of its users, the generative Internet is on a path to a lockdown, ending its cycle of innovationand facilitating unsettling new kinds of control. IPods, iPhones, Xboxes, and ...(展开全部)

This extraordinary book explains the engine that has catapulted the Internet from backwater to ubiquityand reveals that it is sputtering precisely because of its runaway success. With the unwitting help of its users, the generative Internet is on a path to a lockdown, ending its cycle of innovationand facilitating unsettling new kinds of control. IPods, iPhones, Xboxes, and ...(展开全部)

Working mostly alone, almost single-handedly writing 250,000 lines of computer code, Steve Grand produced Creatures®, a revolutionary computer game that allowed players to create living beings complete with brains, genes, and hormonal systems--creatures that would live and breathe and breed in real time on an ordinary desktop computer. Enormously successful, the game inevit...(展开全部)